Méthode pour la modélisation du contexte d'interaction
نویسنده
چکیده
RÉSUMÉ. Cet article s’inscrit dans le domaine de l’informatique ambiante et propose une définition opérationnelle du contexte d’interaction pour les besoins de l’interaction hommemachine. Après un bilan sur la notion de contexte dans la littérature, nous présentons notre définition du contexte fondée sur des réseaux de contextes et de situations puis une méthode d’analyse s’appuyant sur cette définition. A la fin de l’article nous abordons les problèmes liés à l’explosion combinatoire de nos réseaux ainsi qu’une implémentation possible.
منابع مشابه
Une méthode de rétro-ingénierie des processus métier basée sur un métamodèle multi-vues
RÉSUMÉ. Dans le contexte actuel de la mondialisation et dans le besoin croissant de l’automatisation du travail, la modélisation des processus métier devient une nécessité pour non seulement comprendre et maîtriser les processus mais également prévoir tout changement et construire ainsi une structure flexible. Pour les organisations qui possèdent des processus métier opérationnels non modélisés...
متن کاملUne tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité des aéroports
RÉSUMÉ. Le projet EDEMOI 1 a pour but la modélisation de la sécurité des aéroports. Son approche passe par la production de modèles graphiques (un ensemble de diagrammes UML) destinés à être validés par les experts du domaine, et de modèles formels destinés à être vérifiés. Pour assurer la correspondance entre ce qui est validé et ce qui est vérifié, il faut établir un lien fort entre ces deux ...
متن کاملFouille de textes pour orienter la construction d'une ressource terminologique
Résumé. La finalité de ce papier est d'analyser l'apport de techniques de fouille de données textuelles à une méthodologie de construction d'ontologie à partir de textes. Le domaine d’application de cette expérimentation est celui de l’accidentologie routière. Dans ce contexte, les résultats des techniques de fouille de données textuelles sont utilisés pour orienter la construction d’une ressou...
متن کاملLa Conception Innovante : synthèse de systèmes ou résolution de problèmes ?
Résumé TRIZ est une méthode de résolution de problèmes inventifs, initialement développée en ex Union Soviétique et qui commence à se diffuser largement. C’est une méthode non formalisée qui utilise des connaissances capitalisées à partir de milliers de brevets, qui synthétisent en quelque sorte, les problèmes abstraits résolus par ces brevets et qui leur associe des solutions abstraites. La mé...
متن کاملFormal Model and Implementation of the Java Card Dynamic Security Policy
Résumé. Les méthodes formelles sont aujourd’hui un moyen d’améliorer la qualité des processus de developpement logiciel. Cet article propose une application de la méthode B, méthode formelle basée sur la théorie ensembliste, au domaine d’activité spécifique qu’est la Java Card. Les cartes à puce sont un élément de la sécurité des systèmes d’information. L’assurance du respect de la sécurité peu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Ingénierie des Systèmes d'Information
دوره 11 شماره
صفحات -
تاریخ انتشار 2006